Louvres (Val-d’Oise). Ferme Baron, 1, rue d’Orville

Baron Munchhausen's Sequence

We investigate a coin-weighing puzzle that appeared in the all-Russian Mathematics Olympiad in 2000. The methods of analysis differ from classical coin-weighing puzzles. We generalize the puzzle by varying the number of participating coins, and deduce a complete solution. Perhaps surprisingly, the objective can be achieved in no more than two weighings regardless of the number of coins involved.

Asaf Baron , Isask ' har

Measuring and comparing performance, cost, and other attributes of SpaceWire networks is a significant challenge. A new benchmark for SpaceWire-based satellites is presented. The benchmark contains a potential architecture of a multi-mission satellite, as well as specifications of the traffic flow. The proposed benchmark is demonstrated on an OPNET-based network simulation for various network c...

Results about Rue Resolution

Extensional Higher-Order Paramodulation and RUE-Resolution

This paper presents two approaches to primitive equality treatment in higher-order (HO) automated theorem proving: a calculus EP adapting traditional first-order (FO) paramodulation [RW69] , and a calculus ERUE adapting FO RUE-Resolution [Dig79] to classical type theory, i.e., HO logic based on Church’s simply typed λ-calculus. EP and ERUE extend the extensional HO resolution approach ER [BK98a...

Baron Larrey (1766-1842)

in 1766, three years before Napoleon Bonoparte, whose loving follower Larrey was destined to become. His birthplace was in the romantic region of the High Pyreniees, at the village of Beaudeau. At the period of Larrey's birth, centuries of misrule were about to culminate in a mighty catastrophe for Franice. At the beginning of the eighteenth century, France was the most powerful nation in Europ...